Basic proof theory / A. S. Troelstra, H. Schwichtenberg
Publication: Cambridge : University Press, 2003Description: XII, 417 p. ; 23 cmISBN: 0-521-77911-1.Series: Cambridge Tracts in Theoretical Computer Science / S. Abramsky, 43Subject - Topical Name: Lógica matemática | Inteligência artificial | Programação lógica| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Livro | Biblioteca do ISEL | TRO. 510.6 (Browse shelf) | Available | 1017173 |
Total holds: 0
There are no comments for this item.